E (SETQ $PRINT-BUDGET-MONTHLY nil) READ (SALARY IN DSK (PRO HE)) READ (RADC81 IN DSK (PRO HE)) BUDGET FIRST-PART (RADCA3 OUT DSK (PRO HE)) BUDGET SECOND-PART (RADCB3 OUT DSK (PRO HE))